Spacecraft Simulation and Visualisation with Orbiter 2006 Martin Schweiger Centre for Medical Image Computing Department of Computer Science University College London, UK

Source URL: orbit.medphys.ucl.ac.uk

On the Usefulness of Type and Liveness Accuracy for Garbage Collection and Leak Detection MARTIN HIRZEL, AMER DIWAN, and JOHANNES HENKEL University of Colorado

Source URL: www-plan.cs.colorado.edu

No More 404s: Predicting Referenced Link Rot in Scholarly Articles for Pro-Active Archiving Ke Zhou*, Claire Grover**, Martin Klein#, Richard Tobin** * Yahoo Labs London, ** University of Edinburgh, #

Source URL: hiberlink.org

Efficient Type-Checking for Amortised Heap-Space Analysis Martin Hofmann and Dulma Rodriguez Department of Computer Science, University of Munich Oettingenstr. 67, DM¨ unchen, Germany

Source URL: www.tcs.ifi.lmu.de

Two sides to every story: Subjective event summarization of sports events using Twitter David Corney, Carlos Martin and Ayse Göker IDEAS Research Institute, School of Computing & Digital Media Robert Gordon University,

Source URL: www.dcorney.com

• Association football
• English footballers
• Microblogging
• Real-time web
• Text messaging
• Twitter
• FA Cup Final
• Carlos Tevez
• Didier Drogba
• Wigan Athletic F.C.
• Callum McManaman
• Petr ech

Runtime Verification for LTL and TLTL ANDREAS BAUER NICTA and Australian National University MARTIN LEUCKER Technische Universit¨at M¨ unchen

Source URL: christian.schallhart.net

The computational complexity of ecological and evolutionary spatial dynamics Rasmus Ibsen-Jensen, IST Austria Krishnendu Chatterjee, IST Austria, Martin A. Nowak, Harvard University March 7, 2016

Source URL: www.cs.au.dk

Computing With a Fixed Number of Pointers Martin Hofmann and Ramyaa Ramyaa Ludwig Maximilian University Munich, Germany {hofmann,ramyaa}@ifi.lmu.de

Source URL: www.tcs.ifi.lmu.de

Assembling atomic data for diagnosing and modelling fusion plasmas Martin O’Mullane ADAS Project Department of Physics, University of Strathclyde, UK Modern spectroscopy techniques for diagnosing magnetically confined

Source URL: www-amdis.iaea.org

BAR Fault Tolerance for Cooperative Services Amitanand S. Aiyer, Lorenzo Alvisi, Allen Clement Mike Dahlin, Jean-Philippe Martin, Carl Porth University of Texas at Austin - Dept. of Computer Science 1 University Station

Source URL: www.cs.utexas.edu